A formal evaluation of data flow path selection criteria
نویسندگان
چکیده
منابع مشابه
A Formal Evaluation of Data Flow Path Selection Criteria
A number of path selection criteria have been proposed throughout the years. Unfortunately, little work has been done on comparing these criteria. To determine what would be an effective path selection criterion for revealing errors in programs, we have undertaken an evaluation of these criteria. This paper reports on the results of our evaluation of path selection criteria based on data flow r...
متن کاملA Formal Evaluation of Mutation and Data Flow Based Test Adequacy Criteria
Evaluation of the adequacy of a test set is a frequently encountered problem in software testing. Data ow and mutation-based testing methods provide several criteria to evaluate test sets. This work considers the c-use, p-use, and all-uses based data ow criteria and compares these with a mutation-based criterion. We show that for the most general class of programs, mutation and the above data o...
متن کاملFuzzy multi-criteria selection procedures in choosing data source
Technology assessment and selection has a substantial impact on organizations procedures in regards to technology transfer. Technological decisions are usually made by a group of experts, and whereby integrity of these viewpoints to a single decision can be quite complex. Today, operational databases and data warehouses exist to manage and organize data with specific features and henceforth, th...
متن کاملExpert opinion: Time to ban formal CI selection criteria?
This contribution addresses cochlear implantation (CI) selection criteria as a discussion topic. It expresses a personal viewpoint that challenges the usefulness and necessity of formal selection criteria. Scientifically, it is argued that CI selection must be highly individual, whereas the current criteria are general, not valid, not based on a wide consensus, and not up-to-date. Morally, it i...
متن کاملEvaluation and Prioritization of Criteria Affecting the Selection of Landscape Species, Using Multi-Criteria Decision-Making Systems
It is impractical to implement conservation efforts for all species due to complexity of natural systems, large scale of biodiversity issues, and budget limitations. Prioritizing species of conservation importance can alleviate this issue. Multiple interrelated criteria may be used for conservation prioritization of species. Therefore, the accurate evaluation of criteria is a multi-criteria dec...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1989
ISSN: 0098-5589
DOI: 10.1109/32.41326